"Stefan Kowalewski" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)

Автор: Stefan Kowalewski, Автор: Marco Roveri

Категория: Техника

Размер книги: 5.47 Mb

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Автор: Stefan Kowalewski, Автор: Anna Philippou

Размер книги: 7.35 Mb

Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009

Автор: Stefan Kowalewski, Автор: Anna Philippou

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 5.19 Mb